Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·18h·
Discuss: Hacker News
💻Programming languages
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to·27m·
Discuss: DEV
🦀Rust Macros
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·5h
🔗Topological Sorting
HANRAG: Heuristic Accurate Noise-resistant Retrieval-Augmented Generation for Multi-hop Question Answering
arxiv.org·9h
📊Multi-vector RAG
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com·9h·
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity
Planarizing matchings
11011110.github.io·19h
🎨Graph Coloring
Balance between refactoring and inheritance in your code
github.com·1h·
Discuss: Hacker News
✅Format Verification
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·54m·
Discuss: Hacker News
🔗Lisp
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·16h·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·3d
💻Local LLMs
From Legal Documents to Knowledge Graphs
neo4j.com·2d·
Discuss: Hacker News
📋Document Grammar
The Rise of Semantic Entity Resolution
towardsdatascience.com·21h
📄Semantic Chunking
Ancient Scripts, Modern AI: Bridging the Divide with Morphology-Aware Tokenization by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
📝Concrete Syntax
Issue 489
haskellweekly.news·4d·
Discuss: Hacker News
🔗Functional Compilers
I built an LLM from Scratch in Rust (Just ndarray and rand)
github.com·21h·
Discuss: Hacker News, r/LLM, r/rust
🦀Rust Macros
Algebraic Types are not Scary
blog.aiono.dev·3h·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
How to Train an LLM-Recommender Hybrid that Speaks English & Item IDs
eugeneyan.com·1d
🔍Information Retrieval
LLM Rerankers for RAG: A Practical Guide
fin.ai·15h·
Discuss: Hacker News, Hacker News
🔍Information Retrieval
Haskell Interlude: 70: Phil Wadler
haskell.foundation·1d
🧬Functional Programming
A Kevin week
blog.mitrichev.ch·16h·
Discuss: blog.mitrichev.ch
📐Linear Algebra